Showing results: 16 - 30 of 51 items found.
-
ChongqingTop Oil Purifier Manufacture Co., Ltd.
The Veracode Continuous Software Security Platform contains all of the application security testing types you need in one place – static analysis, dynamic analysis, software composition analysis, and manual penetration testing – ensuring that you have a comprehensive view of your risk from design through deployment.
-
Veracode
The Veracode Continuous Software Security Platform contains all of the application security testing types you need in one place – static analysis, dynamic analysis, software composition analysis, and manual penetration testing – ensuring that you have a comprehensive view of your risk from design through deployment.
-
Material Interface, Inc.
Surface Analysis; X-Ray Photoelectron Spectroscopy (XPS, ESCA), Auger Electron Spectroscopy (AES), Time-of-Flight Secondary Ion Mass Spectrometry (Static) (TOF-SIMS), Dynamic Secondary Ion Mass Spectrometry (D-SIMS). Microscopy & Diffraction; Organic Material Analysis; Bulk Chemistry.
-
RTT-STO -
Verified Systems International GMBH
RTT-STO is a software analysis tool-suite that automatically performs static program analyses of C code and assembly required to receive certification credit for source-to-object code validation in the context of safety-critical avionics software.
-
Weshine Electric Manufacturing Co., Ltd
Using the Windows system operating platform, you can freely choose ellipse, straight line, sine wave display, two-dimensional, three-dimensional graphic analysis mode, spectrum window, Q-V-F three-dimensional characteristic window, and static detailed measurement, observation and analysis of partial discharge pulse of one-cycle test voltage .
-
Weshine Electric Manufacturing Co., Ltd
Using the Windows system operating platform, you can freely choose ellipse, straight line, sine wave display, two-dimensional, three-dimensional graphic analysis mode, spectrum window, Q-V-F three-dimensional characteristic window, and static detailed measurement, observation and analysis of partial discharge pulse of one-cycle test voltage .
-
HelixQAC -
Perforce Software Inc.
For over 30 years, Helix QAC has been the trusted static code analyzer for C and C++ programming languages. With its depth and accuracy of analysis, Helix QAC has been the preferred static code analyzer in tightly regulated and safety-critical industries that need to meet rigorous compliance requirements. Often, this involves verifying compliance with coding standards — such as MISRA and AUTOSAR — and functional safety standards, such as ISO 26262.
-
Verix CDC -
Real Intent, Inc.
Verix product family initially offers Verix CDC, which provides one-step analysis and debug of all operating modes in an IC, and boosts productivity for SoC and FPGA design teams. Verix CDC, with its proprietary static intent verification technology, is the most precise and lowest-noise solution in the industry for multimode CDC analysis.
-
DVS Vacuum -
Surface Measurement Systems
The DVS Vacuum is designed for single and multicomponent vapor/gas sorption analysis, supporting static and dynamic experiments. The system’s key features are precise control and measure of temperature and pressure while recording the changes in sample mass using high-resolution UltraBalance.
-
Julia -
Verifysoft Technology GmbH
Julia Static Analyzer is best in class for finding defects and security vulnerabilies in C#, Java and Android applications (for C and C++ languages, please have a look to GrammaTech CodeSonar). By using Julia Static Analyzer, you reduce development and maintenance costs and eliminate risks related to security vulnerabilities and privacy leaks. The powerful analysis technology ensures a maximum precision of results. With advanced dashboarding you can flexibly transform the data into useful information for the different stakeholders.
-
MCE -
PdMA Corporation
The MCE? (Motor Circuit Evaluator) is a comprehensive static motor tester that produces detailed analyses of motor and circuit conditions in as little as three minutes. Analysis of the motor and associated circuits through MCE? testing allows for the detection of electrical faults in any one of the five fault zones.
-
CodePeer -
AdaCore Technologies, Inc.
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
-
PGA-710B -
Prostat Corporation
The PGA-710B is a unique electrostatic data analysis device for use with Prostat's PFK-100B Field Meter and Charge Plate Monitor kit. It records, plots, analyzes and automatically constructs reports of body voltage generation, electrostatic decay, voltage retention, ionizer performance and other static measuring functions.
-
klocwork -
Perforce Software Inc.
Klocwork static code analysis and SAST tool for C, C++, C#, Java, JavaScript, Python, and Kotlin identifies software security, quality, and reliability issues helping to enforce compliance with standards. Built for enterprise DevOps and DevSecOps, Klocwork scales to projects of any size, integrates with large complex environments, a wide range of developer tools, and provides control, collaboration, and reporting for the entire enterprise. This has made Klocwork the preferred static analyzer that keeps development velocity high while enforcing continuous compliance for security and quality.
-
GrammaTech, Inc.
Today, there are many competing vendor claims about the best means to ensure software quality and security. The consensus among leading software development organizations, however, is quite clear. Using a mix of static analysis and dynamic testing is the de facto standard to achieve high quality and safe software.